\begin{tabbing}
es\_state\_after(${\it es}$; $e$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=when{-}after($e$;es\_info(${\it es}$);es{-}pred?(${\it es}$);es\_init(${\it es}$);es{-}Trans(${\it es}$);es\_val(${\it es}$);es\_time\+
\\[0ex](${\it es}$)).2
\-
\end{tabbing}